French translation for "halting problem"

problème de l'arrêt

Example Sentences:

	1.	Rice's theorem generalizes the theorem that the halting problem is unsolvable. Le théorème de Rice généralise l'indécidabilité du problème de l'arrêt.
	2.	The latter problem is called the Halting problem and is undecidable. Le problème est appelé le problème de l'arrêt uniforme et il est également indécidable.
	3.	Not all infinite loops are detectable, see Halting problem. Toutes les boucles infinies ne sont pas détectables, bien entendu, voir le problème de l'arrêt.
	4.	His argument is fundamental in the solution of the Halting problem and the proof of Gödel's first incompleteness theorem. L'argument diagonal joue un rôle fondamental dans la solution du problème de l'arrêt, et dans la preuve du premier théorème d'incomplétude de Gödel.
	5.	Because it is simpler than the halting problem and the Entscheidungsproblem it is often used in proofs of undecidability. Comme il est plus simple que le problème de l'arrêt et que le problème de la décision, il apparaît souvent dans des démonstrations d'indécidabilité.
	6.	At the beginning of 2006, he discovered a classical recursive probabilistic solution of Turing's Halting Problem, published in Chaos, Solitons & Fractals. Au début de l'année 2006, il a découvert des solutions probabilistes au problème de Turing, publié dans Chaos, Solitons & Fractals op. cit.).
	7.	This result dates from the works of Church, Gödel and Turing in the 1930s (see: Halting problem and Rice's theorem). C’est là un résultat mathématique fondé sur des résultats d'Alonzo Church, Kurt Gödel et Alan Turing dans les années 1930 (voir le problème de l'arrêt et le théorème de Rice).
	8.	Since the halting problem is known to be undecidable, this is a contradiction and the assumption that there is an algorithm P(a) that decides a non-trivial property for the function represented by a must be false. Comme le problème de l'arrêt n'est pas calculable, il y a une contradiction et par conséquent, l'hypothèse qu'il existe un algorithme P(a) qui décide une propriété non-triviale pour la fonction représentée doit être fausse.
	9.	It borrows directly from the notion of running a program on itself as input, which is also used in various proofs in theoretical computer science, such as the proof that the halting problem is undecidable. Cela provient directement de la notion de tourner un programme avec lui-même comme entrée, ce qui est aussi utilisé dans des preuves variées en informatique théorique telles que celles de l'indécidabilité du problème de l'arrêt. ↑ l’informatique
	10.	For instance, the problem of determining whether an arbitrary Turing machine will halt on a particular input, or on all inputs, known as the Halting problem, was shown to be, in general, undecidable in Turing's original paper. Par exemple, la question de savoir si une machine de Turing atteint à un moment donné un état d'arrêt ou ne l'atteint jamais pour une entrée particulière, ou pour toutes les entrées possibles, connue sous le nom de problème de l'arrêt, fut démontré comme étant indécidable par Turing.

Similar Words：

"halterneck" French translation, "halti" French translation, "haltiala" French translation, "halticosaurus" French translation, "halting" French translation, "haltingly" French translation, "haltinne" French translation, "haltom city, texas" French translation, "halton" French translation